Step of Proof: assert_elim
9,38
postcript
pdf
Inference at
*
1
1
I
of proof for Lemma
assert
elim
:
1.
tt
tt = tt
latex
by (Auto_aux (first_nat 1:n) ((first_nat 1:n),(first_nat 3:n)) (first_tok :t) inil_term)
latex
.
Definitions
t
T
Lemmas
btrue
wf
origin